UvA - DARE ( Digital Academic Repository ) Dynamic update with probabilities
نویسندگان
چکیده
Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods.
منابع مشابه
UvA - DARE ( Digital Academic Repository ) The University of Amsterdam at WebCLEF 2005
We describe the University of Amsterdam’s participation in the WebCLEF track at CLEF 2005. We submitted runs for both the mixed monolingual task and the multilingual task.
متن کاملUvA - DARE ( Digital Academic Repository ) Cancer patients ' trust in their physician - a review
236
متن کاملUvA - DARE ( Digital Academic Repository ) Adaptive Spectral Galerkin Methods with Dynamic Marking
The convergence and optimality theory of adaptive Galerkin methods is almost exclusively based on the Dörfler marking. This entails a fixed parameter and leads to a contraction constant bounded below away from zero. For spectral Galerkin methods this is a severe limitation which affects performance. We present a dynamic marking strategy that allows for a superlinear relation between consecutive...
متن کاملUvA - DARE ( Digital Academic Repository ) Efficacy of escalated imatinib combined with cytarabine in newly diagnosed patients with chronic myeloid leukemia
914 haematologica | 2010; 95(6)
متن کاملUvA - DARE ( Digital Academic Repository ) Frobenius distributions for real quadratic orders
We present a density result for the norm of the fundamental unit in a real quadratic order that follows from an equidistribution assump tion for the in nite Frobenius elements in the class groups of these orders
متن کامل